Types and Programming Languages - PDFSEARCH.IO - Document Search Engine

Types and Programming Languages
Results: 543

#	Item
111	Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2015-03-19 08:23:41 Functional languages Type theory Logic in computer science Theoretical computer science Formal methods OCaml Coq Type system Formal verification Software engineering Computing Programming language theory
112	Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2012-03-09 11:37:19 Functional languages Type theory Logic in computer science Procedural programming languages Formal methods OCaml Type system Coq ML Software engineering Computing Programming language theory
113	The Complete Javascript Strings Reference By Patrick Hunlock Javascript Strings are deceptively complex constructs. There are actually two different types of strings -- String Literals and String Objects -- and they both Add to Reading List Source URL: www.hunlock.com Language: English - Date: 2007-05-02 19:33:19 Scripting languages Object-oriented programming Type theory Cross-platform software JavaScript String Literal Eval Netscape Computing Software engineering Computer programming
114	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-09-30 06:08:05 Programming language theory Type theory Data types Type systems Standard ML Caml F Sharp Increment and decrement operators Area Software engineering Computing Functional languages
115	Matching Objects With Patterns Burak Emir1 , Martin Odersky1 , and John Williams2 1 LAMP-REPORT?? {first.last}@epfl.ch Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2007-08-04 17:47:42 Object-oriented programming Data types Functional programming Functional languages Software design patterns Smalltalk Pattern matching Visitor pattern Scala Computing Software engineering Computer programming
116	Chapter 1: Structure, data flow and standardsMajor data structures The spectral fields are carried in the module YOMSP, in which the arrays SPA3 and SPA2 hold the 3D and Add to Reading List Source URL: netfam.fmi.fi Language: English - Date: 2011-10-20 08:16:17 Procedural programming languages Data types Source code Subroutines Type theory Fortran Pointer Variable Parameter Software engineering Computing Computer programming
117	LimsPortal and BonsaiLIMS: development of a lab information management system for translational medicine Add to Reading List Source URL: www.scfbm.org Language: English Procedural programming languages Compilers C programming language Data types Primitive types Fortran F2c C Pointer Computing Computer programming Software engineering
118	DEPARTMENT OF DEFENSE REQUIREMENTS FOR HIGH ORDER COMPUTER PROGRAMMING LANGUAGES ÒSTEELMANÓ Add to Reading List Source URL: www.adahome.com Language: English - Date: 1996-11-26 12:42:17 Type theory Primitive types Computer programming English grammar Shall and will Type system Programming language Constant Boolean data type Data types Software engineering Computing
119	I N S U R A N C E O F F I C E Level 1, Elisabeth Murdoch BuildingCorner Masson and Spencer Roads The University of Melbourne. Vic. 3010. Add to Reading List Source URL: fpg.unimelb.edu.au Language: English - Date: 2013-11-20 20:13:51 Functional languages Type theory OCaml Procedural programming languages Data types Caml ML Preprocessor Java Computing Software engineering Computer programming
120	N1793: Stability of indeterminate values in C11 Robbert Krebbers and Freek Wiedijk Radboud University Nijmegen, The Netherlands Abstract. This paper – document N1793 of WG 14 – proposes and argues for a specific res Add to Reading List Source URL: www.open-std.org Language: English - Date: 2014-03-05 10:29:46 C programming language Data types C++ Procedural programming languages C Standard Library C Pointer Printf format string Struct Software engineering Computing Computer programming

UPDATE